#ifndef TYPES_H
#define TYPES_H



typedef char			__int8_t;
typedef unsigned char	__uint8_t;
typedef short			__int16_t;
typedef unsigned short	__uint16_t;
typedef int				__int32_t;
typedef unsigned int		__uint32_t;
typedef long long			__int64_t;
typedef unsigned long long	__uint64_t;

typedef __int8_t	int8;
typedef __uint8_t	uint8;
typedef __int16_t	int16;
typedef __uint16_t	uint16;
typedef __int32_t	int32;
typedef __uint32_t	uint32;
typedef __int64_t	int64;
typedef __uint64_t	uint64;

typedef unsigned int page_t;
//typedef uint32	addr;

//#define NULL ((void *)0x0)
#define NULL 0

#ifdef LONG_MODE
typedef uint64 addr;
#else
typedef uint32 addr;
#endif /* LONG_MODE */

#ifndef NULL
#define NULL	0
#endif /* NULL */

typedef addr page;
typedef uint32 size_t;

#endif	/* TYPES_H */
